1. Complexite et decidabilite
پدیدآورنده : Dehornoy, Patrick
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Complexes,، Decidability )Mathematical logic(
رده :
QA
608
.
D4
2. Cornerstones of undecidability /
پدیدآورنده : Grzegorz Rozenberg and Arto Salomaa
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Decidability (Mathematical logic),Unsolvability (Mathematical logic),équation diophantienne,indécidabilité,Logique,Mathematical logic,récursivité,théorie démonstration
رده :
QA9
.
63
.
R69
1994
3. Countable Boolean algebras and decidability /
پدیدآورنده : Sergei S. Goncharov
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra, Boolean,Decidability (Mathematical logic)
رده :
QA10
.
3
.
G6613
1997
4. Decision problems for equational theories of relation algebras
پدیدآورنده : Andreka, Hajnal
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Relation algebras,، Decidability )Mathematical logic(
رده :
QA
3
.
A475
no
.
604
5. Deducibility and decidability
پدیدآورنده : Gill, R. R. Rockingham
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Decidability )Mathematical logic(
رده :
BC
135
.
G495
1990
6. Deducibility and decidability
پدیدآورنده : Gill, R. R. Rockingham, 4491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Decidability )Mathematical logic(
رده :
BC
135
.
G5
7. Induction, bounding, weak combinatorial principles, and the homogeneous model theorem
پدیدآورنده : Hirschfeldt, Denis Roman
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Reverse mathematics,، Computable functions,، Decidability )Mathematical logic(
رده :
QA
3
.
A475
no
.
1187
8. Reachability Problems
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer systems -- Verification -- Congresses,Decidability (Mathematical logic) --Congresses,Graph theory -- Data processing -- Congresses,گراف‌ها -- داده‌پردازی -- کنگره‌ها
رده :
E-Book
,
9. Reachability problems :
پدیدآورنده : Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
10. Reachability problems :
پدیدآورنده : Antonín Kučera, Igor Potapov (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer systems-- Verification, Congresses.,Configurations, Congresses.,Decidability (Mathematical logic), Congresses.,Computer systems-- Verification.,Configurations.,Decidability (Mathematical logic),Erreichbarkeit.,Erreichbarkeitsmenge.,Zustandsgraph.,Brünn 2010, 7
رده :
QA76
.
76
.
V47
R58
2010
11. Reachability problems
پدیدآورنده : Olivier Bournez, Igor Potapov, (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer systems-- Verification, Congresses,Configurations, Congresses,Decidability (Mathematical logic), Congresses
رده :
QA76
.
76
.
V47
R58
2009
12. Reachability problems
پدیدآورنده : Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses,Computer systems-- Verification, Congresses,Decidability (Mathematical logic), Congresses
رده :
QA76
.
76
.
V47
R6
2012eb
13. Reachability problems :
پدیدآورنده : Parosh Aziz Abdulla, Igor Potapov (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Computer systems -- Verification -- Congresses.,Decidability (Mathematical logic) -- Congresses.
رده :
QA76
.
76
.
V47
P376
9999
14. Recursive functions and metamathematics :
پدیدآورنده : Roman Murawski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Decidability (Mathematical logic),Gödel's theorem.,Recursive functions.
15. The classical decision problem
پدیدآورنده : Borger, Egon, 6491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Decidability )Mathematical logic(
رده :
QA
9
.
65
.
B62
16. The classical decision problem
پدیدآورنده : Boerger, Egon
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Decidability )Mathematical logic(
رده :
QA
9
.
65
.
B64
1997
17. The classical decision problem /
پدیدآورنده : Egon Börger, Erich Grädel, Yuri Gurevich
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Decidability (Mathematical logic)
رده :
QA9
.
65
.
B64
1997
18. The classical decision problem
پدیدآورنده : Boerger, Egon
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Decidability )Mathematical logic(
رده :
QA
9
.
65
.
B64
1997
19. Thinking about acting: logical foundations for rational decision making
پدیدآورنده : Pollock, John L
کتابخانه: كتابخانه تخصصی دانشگاه اديان و مذاهب (قم)
موضوع : ، Statistical decision,، Decidability )Mathematical logic(,، Probabilities,، Induction )Logic(
رده :
QA
279
.
4
.
P65
2006
20. Thinking about acting :logical foundations for rational decision making
پدیدآورنده : Pollock, John L.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Statistical decision,، Decidability )Mathematical logic(,، Probabilities,، Induction )Logic(
رده :
QA279
.
4
.
P65
2006
